#include "irqhandler.h"
#include "jiffies.h"
#include "printk.h"

void NMI_IRQHandler(void)
{
	log_d("NMI_IRQHandler!\n");
}

void HardFault_IRQHandler(void)
{
	log_d("HardFault!\n");
    while (1);
}

void SVC_IRQHandler(void)
{
	log_d("SVC_IRQHandler!\n");
}

void PendSV_IRQHandler(void)
{
	log_d("PendSV_IRQHandler!\n");
}

//10ms jiffies
void SysTick_IRQHandler(void)
{
    jiffies++;
}
